natural deduction

join shbcf.ru